Formal language properties of hybrid systems with strong resets
نویسندگان
چکیده
منابع مشابه
Formal language properties of hybrid systems with strong resets
We study hybrid systems with strong resets from the perspective of formal language theory. We define a notion of hybrid regular expression and prove a Kleene-like theorem for hybrid systems. We also prove the closure of these systems under determinisation and complementation. Finally, we prove that the reachability problem is undecidable for synchronized products of hybrid systems. 1991 Mathema...
متن کاملAverage-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuous dynamics. A number of analysis problems, such as reachability testing and controller synthesis, are decidable for classes of ominimal hybrid automata. We generalize existing decidability results for controller synthesis on h...
متن کاملFormal Veriication of Safety-critical Hybrid Systems Formal Veriication of Safety-critical Hybrid Systems
This thesis investigates how the formal modeling and veri cation techniques of computer science can be used for the analysis of hybrid systems [7,14,22,37]| systems involving both discrete and continuous behavior. The motivation behind such research lies in the inherent similarity of the hierarchical and decentralized control strategies of hybrid systems and the communication and operation prot...
متن کاملOrbital Control for a Class of Planar Impulsive Hybrid Systems with Controllable Resets
This paper investigates the stabilization of a novel subclass of impulsive hybrid systems (IHS) that feature controllable guards and resets maps. While the structure of the guards and the reset map is assumed to be completely determined from the physical set-up, both mappings are jointly adjustable through exogenous control inputs at run-time. As a core feature, all adjustments result in simult...
متن کاملA hybrid method with optimal stability properties for the numerical solution of stiff differential systems
In this paper, we consider the construction of a new class of numerical methods based on the backward differentiation formulas (BDFs) that be equipped by including two off--step points. We represent these methods from general linear methods (GLMs) point of view which provides an easy process to improve their stability properties and implementation in a variable stepsize mode. These superioritie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 2010
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita/2010006